search

sillydan1 / aaltitoad

Extendable verification engine and simulator for Tick Tock Automata constructs
GNU General Public License v3.0
6 stars 1 forks source link

Readme compile instructions is wrong #23

Closed sillydan1 closed 2 years ago

sillydan1 commented 3 years ago

submodules are not initialized like it is explained right now. It should be:

git submodule update --init --recursive

... I think