cjmyers
commented
6 years ago Double check your inputs and outputs. Make sure that next, for example is an input and not an output.
Open tramyn opened 6 years ago
cjmyers
commented
6 years ago Double check your inputs and outputs. Make sure that next, for example is an input and not an output.
I updated my ATACS to the latest commit and attempted to rerun some old LPN files that I got working a couple of days ago. Now, the LPN files that use to work are producing errors. This is the message that I get from running my LPN files through ATACS with the following command: ./atacs -tLllyssV -oddn even_zeros_v2.lpn
ATACS VERSION 6.0 Logging session in: atacs.log Using DBMs to obtain state graphs from LHPNs. Loading LPN: even_zeros_v2.lpn Replacing implicit places with explicit places. Initial net size: places=44 trans=53 rules=106 removableTrans: 20 Final net size: places=44 trans=33 rules=66 Total transformation time: 0.001541 Using single-cube algorithm for synthesis. Finding reduced state graph... Zones: 100 -- States: 89 -- Stack depth: 61 memory: max=3.81599 Mb inuse=3.18126 Mb allocated=38 Mb Zones: 200 -- States: 142 -- Stack depth: 98 memory: max=3.9126 Mb inuse=3.54456 Mb allocated=39 Mb Zones: 300 -- States: 209 -- Stack depth: 116 memory: max=4.24588 Mb inuse=3.90866 Mb allocated=39 Mb Zones: 400 -- States: 249 -- Stack depth: 120 memory: max=4.62102 Mb inuse=4.27545 Mb allocated=39 Mb Zones: 448 States: 274 CPU Time: 0.05 Real Time: 0.0418019 memory: max=5.04327 Mb inuse=4.56277 Mb allocated=39 Mb Projecting out dummy transitions ... done (states=34 time=0.001200) Checking output semi-modularity ... NOT output semi-modular! ERROR: NOT output semi-modular! Projecting out dummy transitions ... done (states=34 time=0.000271) Checking output semi-modularity ... NOT output semi-modular! ERROR: NOT output semi-modular! DOT now being used for display and print routines. Display net only works after finding a cover.