Hi yiannis,
Hi yiannis, I am a master student of Prof. Lucas and I chose to study his ESBMC-AI framework. so I was wondering if I could ask you some questions on this topic.
After I successfully downloaded and deployed the latest version of ESBMC and the ESBMC-AI framework, I wasn't able to operate as you did in the youtube video. My output: none. i don't know why this is happening.
Warm regards,
kaixin
Hi yiannis,
Hi yiannis, I am a master student of Prof. Lucas and I chose to study his ESBMC-AI framework. so I was wondering if I could ask you some questions on this topic.
After I successfully downloaded and deployed the latest version of ESBMC and the ESBMC-AI framework, I wasn't able to operate as you did in the youtube video. My output: none. i don't know why this is happening.
Warm regards,
kaixin