|
@@ -1052,6 +1052,36 @@ let tests = {
|
|
|
},
|
|
},
|
|
|
},
|
|
},
|
|
|
|
|
|
|
|
|
|
+ // from MP: example #1: car race
|
|
|
|
|
+ mp_ex1_car_race: {
|
|
|
|
|
+ model: "SYSTEM: mp_ex1_car_race = driving_a_car+; " +
|
|
|
|
|
+ " BEHAVIOR: driving_a_car = go_straight (go_straight | turn_left | turn_right)* stop;" +
|
|
|
|
|
+ " BEHAVIOR: go_straight = ( accelerate | decelerate | cruise );",
|
|
|
|
|
+ expected: {
|
|
|
|
|
+ 1: [
|
|
|
|
|
+ ["mp_ex1_car_race", "driving_a_car", "go_straight", "accelerate", "stop"],
|
|
|
|
|
+ ["mp_ex1_car_race", "driving_a_car", "go_straight", "accelerate", "go_straight", "accelerate", "stop"],
|
|
|
|
|
+ ["mp_ex1_car_race", "driving_a_car", "go_straight", "accelerate", "go_straight", "decelerate", "stop"],
|
|
|
|
|
+ ["mp_ex1_car_race", "driving_a_car", "go_straight", "accelerate", "go_straight", "cruise", "stop"],
|
|
|
|
|
+ ["mp_ex1_car_race", "driving_a_car", "go_straight", "accelerate", "turn_left", "stop"],
|
|
|
|
|
+ ["mp_ex1_car_race", "driving_a_car", "go_straight", "accelerate", "turn_right", "stop"],
|
|
|
|
|
+ ["mp_ex1_car_race", "driving_a_car", "go_straight", "decelerate", "stop"],
|
|
|
|
|
+ ["mp_ex1_car_race", "driving_a_car", "go_straight", "decelerate", "go_straight", "accelerate", "stop"],
|
|
|
|
|
+ ["mp_ex1_car_race", "driving_a_car", "go_straight", "decelerate", "go_straight", "decelerate", "stop"],
|
|
|
|
|
+ ["mp_ex1_car_race", "driving_a_car", "go_straight", "decelerate", "go_straight", "cruise", "stop"],
|
|
|
|
|
+ ["mp_ex1_car_race", "driving_a_car", "go_straight", "decelerate", "turn_left", "stop"],
|
|
|
|
|
+ ["mp_ex1_car_race", "driving_a_car", "go_straight", "decelerate", "turn_right", "stop"],
|
|
|
|
|
+ ["mp_ex1_car_race", "driving_a_car", "go_straight", "cruise", "stop"],
|
|
|
|
|
+ ["mp_ex1_car_race", "driving_a_car", "go_straight", "cruise", "go_straight", "accelerate", "stop"],
|
|
|
|
|
+ ["mp_ex1_car_race", "driving_a_car", "go_straight", "cruise", "go_straight", "decelerate", "stop"],
|
|
|
|
|
+ ["mp_ex1_car_race", "driving_a_car", "go_straight", "cruise", "go_straight", "cruise", "stop"],
|
|
|
|
|
+ ["mp_ex1_car_race", "driving_a_car", "go_straight", "cruise", "turn_left", "stop"],
|
|
|
|
|
+ ["mp_ex1_car_race", "driving_a_car", "go_straight", "cruise", "turn_right", "stop"],
|
|
|
|
|
+ ],
|
|
|
|
|
+ // 2: // ~8742 traces... should consider using external data files for these tests
|
|
|
|
|
+ },
|
|
|
|
|
+ },
|
|
|
|
|
+
|
|
|
};
|
|
};
|
|
|
|
|
|
|
|
|
|
|