search

ssvlab / dsverifier

DSVerifier - Digital Systems Verifier
http://dsverifier.org
Apache License 2.0
12 stars 4 forks source link

write closed_loop int into input.c file #32

Closed polgreen closed 7 years ago

polgreen commented 7 years ago

Fix to set extern int closed_loop to 1 if —closed-loop is used an input command and 0 otherwise.

Previously closed_loop is never written to. This means that int verify_error_state_space(void) will never run the code for closed_loop