Minor updates - Githubissues

runtimeverification / gitbook-kontrol

https://docs.runtimeverification.com/kontrol

4 stars 3 forks source link

Minor updates #28

Closed dkcumming closed 11 months ago

dkcumming commented 11 months ago

Looks like --test is deprecated, and should now be using --match-test
Added link to kontrol github on the side bar

palinatolmach commented 11 months ago

Looks good, thanks @dkcumming!