Skip to content
GitLab
Explore
Sign in
verimag
IF
IF Toolset
Repository
if-toolset
src
simulator-t
explorator.C
Find file
Blame
History
Permalink
added options to stop exploration after n states/seconds and limit number of generated scenarios
· 088b42c9
EXT Iulian Ober
authored
Jan 21, 2022
088b42c9