Snippets Groups Projects

No output and error on VC

On the VC attached, COLIBRI terminates with error code 3 without any output.colibri.smt2

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information

Child items ...

Activity

Bruno Marre @marre · 3 years ago

Developer

Ce doit être un unknown à cause des forall, mais sans doute mal diagnostiqué ! Je verrais ça fin août !
Bruno Marre @marre · 3 years ago

Developer

c'est corrigé (et unsat) je commite bientôt et ce sera dans la prochaine version.
François Bobot mentioned in commit 696afbbc 3 years ago

mentioned in commit 696afbbc
François Bobot mentioned in merge request !21 (merged) 3 years ago

mentioned in merge request !21 (merged)
François Bobot mentioned in commit 8d636777 3 years ago

mentioned in commit 8d636777
François Bobot mentioned in commit 68194725 3 years ago

mentioned in commit 68194725
François Bobot closed with merge request !21 (merged) 3 years ago

closed with merge request !21 (merged)

Please register or sign in to reply