search

usi-verification-and-security / opensmt

The opensmt solver
Other
78 stars 18 forks source link

Update CI scripts #762

Open Tomaqa opened 2 months ago

Tomaqa commented 2 months ago

E.g. run regression tests even in release mode. Potentially run some scripts that are not necessarily usable only with CI into scripts/