Updated verific build/test instructions
authorClifford Wolf <clifford@clifford.at>
Fri, 25 Jul 2014 10:16:03 +0000 (12:16 +0200)
committerClifford Wolf <clifford@clifford.at>
Fri, 25 Jul 2014 10:16:03 +0000 (12:16 +0200)
commit1488bc0c4f80b32cabd096232830b7fdfc400bbf
tree38d1f22a42ac2bc86918511c44f6b38f84fb9619
parent91bf0c90c86f5f857f440bec012b085d9f218ef0
Updated verific build/test instructions
frontends/verific/build_amd64.txt
frontends/verific/test_navre.ys