Feature/foundry to kontrol

runtimeverification / kontrol-demo

Foundry blog posts' executable demos

12 stars 3 forks source link

Feature/foundry to kontrol #17

Closed F-WRunTime closed 8 months ago

F-WRunTime commented 8 months ago

Further updates needed to README and run-kontrol.sh to get tests running properly.

anvacaru commented 8 months ago

@F-WRunTime Looks like foundry is not installed? I'm seeing this error

Error: 'forge' command not found. Please ensure that 'forge' is installed and added to your PATH.

F-WRunTime commented 8 months ago

@F-WRunTime Looks like foundry is not installed? I'm seeing this error
Error: 'forge' command not found. Please ensure that 'forge' is installed and added to your PATH.

Thank you. Not quite sure why this just revealed but I instead added the foundry piece to the install-kontrol action.