Commit 634e9d71 authored by Faezeh KHORRAM's avatar Faezeh KHORRAM 💬
Browse files

add more tests

parent 88cdf5f8
FSM BitShifting {
unprocessedString "" producedString "" initialState S0
unprocessedString "1011" producedString "" initialState S0
ownedStates {
State S0 {
outgoingTransitions {
......
......@@ -8,262 +8,262 @@ initialState S0
output " "
target S0
},
Transition S0_to_a {
Transition S0_to_a_A {
input "A"
output "a"
target a
},
Transition S0_to_b {
Transition S0_to_b_B {
input "B"
output "b"
target b
},
Transition S0_to_c {
Transition S0_to_c_C {
input "C"
output "c"
target c
},
Transition S0_to_d {
Transition S0_to_d_D {
input "D"
output "d"
target d
},
Transition S0_to_e {
Transition S0_to_e_E {
input "E"
output "e"
target e
},
Transition S0_to_f {
Transition S0_to_f_F {
input "F"
output "f"
target f
},
Transition S0_to_g {
Transition S0_to_g_G {
input "G"
output "g"
target g
},
Transition S0_to_h {
Transition S0_to_h_H {
input "H"
output "h"
target h
},
Transition S0_to_i {
Transition S0_to_i_I {
input "I"
output "i"
target i
},
Transition S0_to_j {
Transition S0_to_j_J {
input "J"
output "j"
target j
},
Transition S0_to_k {
Transition S0_to_k_K {
input "K"
output "k"
target k
},
Transition S0_to_l {
Transition S0_to_l_L {
input "L"
output "l"
target l
},
Transition S0_to_m {
Transition S0_to_m_M {
input "M"
output "m"
target m
},
Transition S0_to_n {
Transition S0_to_n_N {
input "N"
output "n"
target n
},
Transition S0_to_o {
Transition S0_to_o_O {
input "O"
output "o"
target o
},
Transition S0_to_p {
Transition S0_to_p_P {
input "P"
output "p"
target p
},
Transition S0_to_q {
Transition S0_to_q_Q {
input "Q"
output "q"
target q
},
Transition S0_to_r {
Transition S0_to_r_R {
input "R"
output "r"
target r
},
Transition S0_to_s {
Transition S0_to_s_S {
input "S"
output "s"
target s
},
Transition S0_to_t {
Transition S0_to_t_T {
input "T"
output "t"
target t
},
Transition S0_to_u {
Transition S0_to_u_U {
input "U"
output "u"
target u
},
Transition S0_to_v {
Transition S0_to_v_V {
input "V"
output "v"
target v
},
Transition S0_to_w {
Transition S0_to_w_W {
input "W"
output "w"
target w
},
Transition S0_to_x {
Transition S0_to_x_X {
input "X"
output "x"
target x
},
Transition S0_to_y {
Transition S0_to_y_Y {
input "Y"
output "y"
target y
},
Transition S0_to_z {
Transition S0_to_z_Z {
input "Z"
output "z"
target z
},
Transition S0_to_a {
Transition S0_to_a_a {
input "a"
output "a"
target a
},
Transition S0_to_b {
Transition S0_to_b_b {
input "b"
output "b"
target b
},
Transition S0_to_c {
Transition S0_to_c_c {
input "c"
output "c"
target c
},
Transition S0_to_d {
Transition S0_to_d_d {
input "d"
output "d"
target d
},
Transition S0_to_e {
Transition S0_to_e_e {
input "e"
output "e"
target e
},
Transition S0_to_f {
Transition S0_to_f_f {
input "f"
output "f"
target f
},
Transition S0_to_g {
Transition S0_to_g_g {
input "g"
output "g"
target g
},
Transition S0_to_h {
Transition S0_to_h_h {
input "h"
output "h"
target h
},
Transition S0_to_i {
Transition S0_to_i_i {
input "i"
output "i"
target i
},
Transition S0_to_j {
Transition S0_to_j_j {
input "j"
output "j"
target j
},
Transition S0_to_k {
Transition S0_to_k_k {
input "k"
output "k"
target k
},
Transition S0_to_l {
Transition S0_to_l_l {
input "l"
output "l"
target l
},
Transition S0_to_m {
Transition S0_to_m_m {
input "m"
output "m"
target m
},
Transition S0_to_n {
Transition S0_to_n_n {
input "n"
output "n"
target n
},
Transition S0_to_o {
Transition S0_to_o_o {
input "o"
output "o"
target o
},
Transition S0_to_p {
Transition S0_to_p_p {
input "p"
output "p"
target p
},
Transition S0_to_q {
Transition S0_to_q_q {
input "q"
output "q"
target q
},
Transition S0_to_r {
Transition S0_to_r_r {
input "r"
output "r"
target r
},
Transition S0_to_s {
Transition S0_to_s_s {
input "s"
output "s"
target s
},
Transition S0_to_t {
Transition S0_to_t_t {
input "t"
output "t"
target t
},
Transition S0_to_u {
Transition S0_to_u_u {
input "u"
output "u"
target u
},
Transition S0_to_v {
Transition S0_to_v_v {
input "v"
output "v"
target v
},
Transition S0_to_w {
Transition S0_to_w_w {
input "w"
output "w"
target w
},
Transition S0_to_x {
Transition S0_to_x_x {
input "x"
output "x"
target x
},
Transition S0_to_y {
Transition S0_to_y_y {
input "y"
output "y"
target y
},
Transition S0_to_z {
Transition S0_to_z_z {
input "z"
output "z"
target z
......
......@@ -8,262 +8,262 @@ initialState S0
output " "
target S0
},
Transition S0_to_A {
Transition S0_to_A_a {
input "a"
output "A"
target A
},
Transition S0_to_B {
Transition S0_to_B_b {
input "b"
output "B"
target B
},
Transition S0_to_C {
Transition S0_to_C_c {
input "c"
output "C"
target C
},
Transition S0_to_D {
Transition S0_to_D_d {
input "d"
output "D"
target D
},
Transition S0_to_E {
Transition S0_to_E_e {
input "e"
output "E"
target E
},
Transition S0_to_F {
Transition S0_to_F_f {
input "f"
output "F"
target F
},
Transition S0_to_G {
Transition S0_to_G_g {
input "g"
output "G"
target G
},
Transition S0_to_H {
Transition S0_to_H_h {
input "h"
output "H"
target H
},
Transition S0_to_I {
Transition S0_to_I_i {
input "i"
output "I"
target I
},
Transition S0_to_J {
Transition S0_to_J_j {
input "j"
output "J"
target J
},
Transition S0_to_K {
Transition S0_to_K_k {
input "k"
output "K"
target K
},
Transition S0_to_L {
Transition S0_to_L_l {
input "l"
output "L"
target L
},
Transition S0_to_M {
Transition S0_to_M_m {
input "m"
output "M"
target M
},
Transition S0_to_N {
Transition S0_to_N_n {
input "n"
output "N"
target N
},
Transition S0_to_O {
Transition S0_to_O_o {
input "o"
output "O"
target O
},
Transition S0_to_P {
Transition S0_to_P_p {
input "p"
output "P"
target P
},
Transition S0_to_Q {
Transition S0_to_Q_q {
input "q"
output "Q"
target Q
},
Transition S0_to_R {
Transition S0_to_R_r {
input "r"
output "R"
target R
},
Transition S0_to_S {
Transition S0_to_S_s {
input "s"
output "S"
target S
},
Transition S0_to_T {
Transition S0_to_T_t {
input "t"
output "T"
target T
},
Transition S0_to_U {
Transition S0_to_U_u {
input "u"
output "U"
target U
},
Transition S0_to_V {
Transition S0_to_V_v {
input "v"
output "V"
target V
},
Transition S0_to_W {
Transition S0_to_W_w {
input "w"
output "W"
target W
},
Transition S0_to_X {
Transition S0_to_X_x {
input "x"
output "X"
target X
},
Transition S0_to_Y {
Transition S0_to_Y_y {
input "y"
output "Y"
target Y
},
Transition S0_to_Z {
Transition S0_to_Z_z {
input "z"
output "Z"
target Z
},
Transition S0_to_A {
Transition S0_to_A_A {
input "A"
output "A"
target A
},
Transition S0_to_B {
Transition S0_to_B_B {
input "B"
output "B"
target B
},
Transition S0_to_C {
Transition S0_to_C_C {
input "C"
output "C"
target C
},
Transition S0_to_D {
Transition S0_to_D_D {
input "D"
output "D"
target D
},
Transition S0_to_E {
Transition S0_to_E_E {
input "E"
output "E"
target E
},
Transition S0_to_F {
Transition S0_to_F_F {
input "F"
output "F"
target F
},
Transition S0_to_G {
Transition S0_to_G_G {
input "G"
output "G"
target G
},
Transition S0_to_H {
Transition S0_to_H_H {
input "H"
output "H"
target H
},
Transition S0_to_I {
Transition S0_to_I_I {
input "I"
output "I"
target I
},
Transition S0_to_J {
Transition S0_to_J_J {
input "J"
output "J"
target J
},
Transition S0_to_K {
Transition S0_to_K_K {
input "K"
output "K"
target K
},
Transition S0_to_L {
Transition S0_to_L_L {
input "L"
output "L"
target L
},
Transition S0_to_M {
Transition S0_to_M_M {
input "M"
output "M"
target M
},
Transition S0_to_N {
Transition S0_to_N_N {
input "N"
output "N"
target N
},
Transition S0_to_O {
Transition S0_to_O_O {
input "O"
output "O"
target O
},
Transition S0_to_P {
Transition S0_to_P_P {
input "P"
output "P"
target P
},
Transition S0_to_Q {
Transition S0_to_Q_Q {
input "Q"
output "Q"
target Q
},
Transition S0_to_R {
Transition S0_to_R_R {
input "R"
output "R"
target R
},
Transition S0_to_S {
Transition S0_to_S_S {
input "S"
output "S"
target S
},
Transition S0_to_T {
Transition S0_to_T_T {
input "T"
output "T"
target T
},
Transition S0_to_U {
Transition S0_to_U_U {
input "U"
output "U"
target U
},
Transition S0_to_V {
Transition S0_to_V_V {
input "V"
output "V"
target V
},
Transition S0_to_W {
Transition S0_to_W_W {
input "W"
output "W"
target W
},
Transition S0_to_X {
Transition S0_to_X_X {
input "X"
output "X"
target X
},
Transition S0_to_Y {
Transition S0_to_Y_Y {
input "Y"
output "Y"
target Y
},
Transition S0_to_Z {
Transition S0_to_Z_Z {