Open zhangyuanlin opened 6 years ago
What is the criteria needed in order to resolve this issue?
This is not "issue". This is more like a thread for discussion for testing this application. Anu will be the one to test this and the associated modules.
wrestler_and_opponent.txt in Daniela's folder seems to be a perfect test case.
How about I create a new issue for wrestler_and_opponent.txt so that we can discuss over there? (you can create it too if that is fine for you.)
=== from Anu I was looking through the ALM_Daniella folder. The coreLib seems to be a collection ALM libraries that would basically help people to use it instead of creating things from scratch. The module hierarchy is given here https://ceclnx01.cec.miamioh.edu/~inclezd/coreALMlib/ModuleHierarchy.htm
I also noticed that we cannot directly use it because it does not break down the axioms into executability conditions, dynamic causal laws etc. ofcourse that would be easy to add . we just have to keep in mind that we have to reorganize the code. With regard to actual programs that we can test, the only ones I found were the French toast, animal development and basic motion which are listed under the system description folder.
Would you like for me to test any of their core modules? These are just modules without structure or main.