Skip to content

Add support for pexp in baron #295

Add support for pexp in baron

Add support for pexp in baron #295

GitHub Actions / Report (QCQP) succeeded Sep 3, 2024 in 0s

Report (QCQP) ✔️

Tests passed successfully

✔️ qcqp.xml

49 tests were completed in 127s with 49 passed, 0 failed and 0 skipped.

Test suite Passed Failed Skipped Time
test_global_circle 1✔️ 7s
test_global_dispatch 1✔️ 2s
test_global_ex14_1_6 1✔️ 1s
test_global_ex2_1_1 1✔️ 2s
test_global_ex2_1_10 1✔️ 2s
test_global_ex2_1_2 1✔️ 300ms
test_global_ex2_1_3 1✔️ 478ms
test_global_ex2_1_4 1✔️ 403ms
test_global_ex2_1_5 1✔️ 632ms
test_global_ex2_1_6 1✔️ 1s
test_global_ex2_1_7 1✔️ 13s
test_global_ex2_1_8 1✔️ 8s
test_global_ex2_1_9 1✔️ 24s
test_global_ex3_1_1 1✔️ 16s
test_global_ex3_1_2 1✔️ 746ms
test_global_ex3_1_3 1✔️ 361ms
test_global_ex3_1_4 1✔️ 1s
test_global_ex5_2_2_case1 1✔️ 731ms
test_global_ex5_2_2_case2 1✔️ 2s
test_global_ex5_2_2_case3 1✔️ 618ms
test_global_ex5_2_4 1✔️ 6s
test_global_ex8_1_8 1✔️ 3s
test_global_ex9_1_1 1✔️ 624ms
test_global_ex9_2_1 1✔️ 602ms
test_global_ex9_2_2 1✔️ 777ms
test_global_ex9_2_3 1✔️ 1s
test_global_ex9_2_4 1✔️ 344ms
test_global_ex9_2_5 1✔️ 2s
test_global_ex9_2_6 1✔️ 1s
test_global_ex9_2_7 1✔️ 589ms
test_global_ex9_2_8 1✔️ 208ms
test_global_haverly 1✔️ 900ms
test_global_himmel11 1✔️ 718ms
test_global_house 1✔️ 258ms
test_global_hydro 1✔️ 1s
test_global_prob05 1✔️ 604ms
test_global_prob06 1✔️ 209ms
test_global_prolog 1✔️ 1s
test_global_st_e01 1✔️ 260ms
test_global_st_e02 1✔️ 239ms
test_global_st_e07 1✔️ 633ms
test_global_st_e08 1✔️ 449ms
test_global_st_e28 1✔️ 803ms
test_global_st_e30 1✔️ 11s
test_global_st_e33 1✔️ 1s
test_global_st_e34 1✔️ 274ms
test_global_st_e42 1✔️ 332ms
test_global_st_robot 1✔️ 2s
test_global_wall 1✔️ 5s

✔️ test_global_circle

✔️ test1

✔️ test_global_dispatch

✔️ test1

✔️ test_global_ex14_1_6

✔️ test1

✔️ test_global_ex2_1_1

✔️ test1

✔️ test_global_ex2_1_10

✔️ test1

✔️ test_global_ex2_1_2

✔️ test1

✔️ test_global_ex2_1_3

✔️ test1

✔️ test_global_ex2_1_4

✔️ test1

✔️ test_global_ex2_1_5

✔️ test1

✔️ test_global_ex2_1_6

✔️ test1

✔️ test_global_ex2_1_7

✔️ test1

✔️ test_global_ex2_1_8

✔️ test1

✔️ test_global_ex2_1_9

✔️ test1

✔️ test_global_ex3_1_1

✔️ test1

✔️ test_global_ex3_1_2

✔️ test1

✔️ test_global_ex3_1_3

✔️ test1

✔️ test_global_ex3_1_4

✔️ test1

✔️ test_global_ex5_2_2_case1

✔️ test1

✔️ test_global_ex5_2_2_case2

✔️ test1

✔️ test_global_ex5_2_2_case3

✔️ test1

✔️ test_global_ex5_2_4

✔️ test1

✔️ test_global_ex8_1_8

✔️ test1

✔️ test_global_ex9_1_1

✔️ test1

✔️ test_global_ex9_2_1

✔️ test1

✔️ test_global_ex9_2_2

✔️ test1

✔️ test_global_ex9_2_3

✔️ test1

✔️ test_global_ex9_2_4

✔️ test1

✔️ test_global_ex9_2_5

✔️ test1

✔️ test_global_ex9_2_6

✔️ test1

✔️ test_global_ex9_2_7

✔️ test1

✔️ test_global_ex9_2_8

✔️ test1

✔️ test_global_haverly

✔️ test1

✔️ test_global_himmel11

✔️ test1

✔️ test_global_house

✔️ test1

✔️ test_global_hydro

✔️ test1

✔️ test_global_prob05

✔️ test1

✔️ test_global_prob06

✔️ test1

✔️ test_global_prolog

✔️ test1

✔️ test_global_st_e01

✔️ test1

✔️ test_global_st_e02

✔️ test1

✔️ test_global_st_e07

✔️ test1

✔️ test_global_st_e08

✔️ test1

✔️ test_global_st_e28

✔️ test1

✔️ test_global_st_e30

✔️ test1

✔️ test_global_st_e33

✔️ test1

✔️ test_global_st_e34

✔️ test1

✔️ test_global_st_e42

✔️ test1

✔️ test_global_st_robot

✔️ test1

✔️ test_global_wall

✔️ test1