alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

optimize split_2step

Browse source 
* spot/twaalgos/split.cc: split_2step relies less on bdd, which improves
  its performance
* tests/python/split.py: update test
This commit is contained in:
Maximilien Colange 2018-05-07 15:57:23 +02:00
parent 5a819e0c93
commit e886609269
2 changed files with 50 additions and 70 deletions
Download patch file Download diff file Expand all files Collapse all files

10
tests/python/split.py
View file

@ -47,14 +47,14 @@ properties: trans-labels explicit-labels trans-acc complete
properties: deterministic
--BODY--
State: 0
[!0] 1
[0] 2
[0] 1
[!0] 2
State: 1
[!1] 0
[1] 0 {1}
State: 2
[!1] 0 {0}
[1] 0 {0 1}
State: 2
[!1] 0
[1] 0 {1}
--END--"""
aut, s = do_split('! ((G (req -> (F ack))) && (G (go -> (F grant))))', ['go',