Giters

jonaprieto / online-atps

Run ATPs from SystemOnTPTP

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Use YALM configuration like Apia

jonaprieto opened this issue · comments

commented

Incorporate this feature to the code base. Most of the job is already done.

partial implementation:
https://gist.github.com/jonaprieto/19d412c6025c4a073716690e36f246e6

yaml:
https://gist.github.com/jonaprieto/d9d8211b63291660dc0883f8e93941f0

commented

This is a better approach to handle Yaml in a general case.
https://gist.github.com/jonaprieto/fa830b8a49fe170d86fbcc27e9e43ff0
but remember that our case must combine three yamls.