search

klee-contrib / focus-demo-app

Demo application developed with FOCUS bookstores version 2.
http://kleegroup.github.io/focus-demo-app/
MIT License
2 stars 4 forks source link

Add comments #174

Closed GuenoleK closed 7 years ago

GuenoleK commented 7 years ago

Goal

The main goal of this PR was to fix all known problems on the demo and start to add extensions on it.