VerifAPS / stvs

StructuredText Verification Studio
http://formal.iti.kit.edu/stvs
GNU General Public License v3.0
9 stars 0 forks source link

Concretization is only shown in timing diagram, not in table #29

Open mattulbrich opened 7 years ago

mattulbrich commented 7 years ago

screenshot_2017-06-02_14-56-33

btw. what is the empty space beneath the timing diagram?

Spotted on a1b8e617cd2b55a1c018f796381891ef8e7776d2

csicar commented 7 years ago

open concretasation in a new tab, that is not editable