From 17dee944070c5ca73328a068a409a3fedea4cad0 Mon Sep 17 00:00:00 2001 From: Lucas Pena Date: Tue, 11 Feb 2020 14:42:20 -0600 Subject: [PATCH] coq tests in own directory --- prover/build | 2 +- prover/t/{ => coq-tests}/Logic.v | 0 prover/t/{ => coq-tests}/Logic.v.expected | 0 prover/t/{ => coq-tests}/nat_ind.v | 0 prover/t/{ => coq-tests}/nat_ind.v.expected | 0 5 files changed, 1 insertion(+), 1 deletion(-) rename prover/t/{ => coq-tests}/Logic.v (100%) rename prover/t/{ => coq-tests}/Logic.v.expected (100%) rename prover/t/{ => coq-tests}/nat_ind.v (100%) rename prover/t/{ => coq-tests}/nat_ind.v.expected (100%) diff --git a/prover/build b/prover/build index 2deae312f..23e9cace4 100755 --- a/prover/build +++ b/prover/build @@ -53,7 +53,7 @@ prover_coq = prover('prover-coq', '--main-module DRIVER-COQ --syntax-module D # prover_kore.tests(inputs = glob('t/*.kore'), implicit_inputs = glob('t/definitions/*.kore'), flags = '-cCOMMANDLINE=.CommandLine') # prover_smt .tests(inputs = glob('t/*.smt2'), flags = '-cCOMMANDLINE=.CommandLine') -prover_coq .tests(inputs = glob('t/*.v'), flags = '-cCOMMANDLINE=.CommandLine') +prover_coq .tests(inputs = glob('t/coq-tests/*.v'), flags = '-cCOMMANDLINE=.CommandLine') def log_on_success(file, message): return proj.rule( 'log-to-success' diff --git a/prover/t/Logic.v b/prover/t/coq-tests/Logic.v similarity index 100% rename from prover/t/Logic.v rename to prover/t/coq-tests/Logic.v diff --git a/prover/t/Logic.v.expected b/prover/t/coq-tests/Logic.v.expected similarity index 100% rename from prover/t/Logic.v.expected rename to prover/t/coq-tests/Logic.v.expected diff --git a/prover/t/nat_ind.v b/prover/t/coq-tests/nat_ind.v similarity index 100% rename from prover/t/nat_ind.v rename to prover/t/coq-tests/nat_ind.v diff --git a/prover/t/nat_ind.v.expected b/prover/t/coq-tests/nat_ind.v.expected similarity index 100% rename from prover/t/nat_ind.v.expected rename to prover/t/coq-tests/nat_ind.v.expected