search

rse-verification / interface-specification-propagator

GNU General Public License v2.0
0 stars 0 forks source link

Small code touchups #2

Closed Ostbuggen closed 5 months ago

Ostbuggen commented 5 months ago

Cleanup of duplicated code in isp_local_states.ml and removal of unnecessary function declaration in isp_utils.ml.

Discovered a possible issue with dune build @ptests when working with multiple commits and switching between them where logs of old test results won't be replaced with new ones, essentially breaking the test suite until the old logs are manually removed.

Ostbuggen commented 5 months ago

Messed up a rebase with this branch. Cleaner history on branch small-code-touchups-rebase which I will pull instead.