trace generation for ic3

SRI-CSL / sally

A model checker for infinite-state systems.

http://sri-csl.github.io/sally/

GNU General Public License v2.0

69 stars 12 forks source link

Closed dddejan closed 7 years ago

dddejan commented 8 years ago

doesn't work in new implementation

previous implementation at 6d9d1c7f45b2dc1506b5a5186fe6c4f6ed928b7b

dddejan commented 7 years ago

Shoud be fixed in 4777c8d952928e04fb286a536363ed31475443fc