git.libre-soc.org Git - cvc5.git/commit

author	Mathias Preiner <mathias.preiner@gmail.com>
	Wed, 10 Mar 2021 23:58:11 +0000 (15:58 -0800)
committer	GitHub <noreply@github.com>
	Wed, 10 Mar 2021 23:58:11 +0000 (23:58 +0000)
commit	982d1bea6ec9ac9b8932f99762ab2b3908958f32
tree	4f5ba9a5559d9b273a514f60eb9b354555e74b95	tree
parent	489209a31c2a2bf2f5ce465c1a79f73aad90c764	commit \| diff

Use Assert instead of assert. (#6095)

This commit replaces all uses of assert with Assert from base/check.h to ensure that all assertions get checked in production builds with enabled assertions.

46 files changed:

src/base/check.h		diff \| blob \| history
src/main/command_executor.cpp		diff \| blob \| history
src/main/interactive_shell.cpp		diff \| blob \| history
src/parser/antlr_input.cpp		diff \| blob \| history
src/parser/antlr_input.h		diff \| blob \| history
src/parser/antlr_input_imports.cpp		diff \| blob \| history
src/parser/antlr_line_buffered_input.cpp		diff \| blob \| history
src/parser/bounded_token_buffer.cpp		diff \| blob \| history
src/parser/cvc/Cvc.g		diff \| blob \| history
src/parser/cvc/cvc_input.cpp		diff \| blob \| history
src/parser/line_buffer.cpp		diff \| blob \| history
src/parser/parser.cpp		diff \| blob \| history
src/parser/parser.h		diff \| blob \| history
src/parser/parser_builder.cpp		diff \| blob \| history
src/parser/smt2/Smt2.g		diff \| blob \| history
src/parser/smt2/smt2.cpp		diff \| blob \| history
src/parser/smt2/smt2_input.cpp		diff \| blob \| history
src/parser/smt2/sygus_input.cpp		diff \| blob \| history
src/parser/tptp/tptp.cpp		diff \| blob \| history
src/parser/tptp/tptp.h		diff \| blob \| history
src/parser/tptp/tptp_input.cpp		diff \| blob \| history
src/prop/bvminisat/core/Solver.cc		diff \| blob \| history
src/prop/bvminisat/core/Solver.h		diff \| blob \| history
src/prop/bvminisat/core/SolverTypes.h		diff \| blob \| history
src/prop/bvminisat/mtl/Alg.h		diff \| blob \| history
src/prop/bvminisat/mtl/Alloc.h		diff \| blob \| history
src/prop/bvminisat/mtl/Heap.h		diff \| blob \| history
src/prop/bvminisat/mtl/Map.h		diff \| blob \| history
src/prop/bvminisat/mtl/Queue.h		diff \| blob \| history
src/prop/bvminisat/mtl/Vec.h		diff \| blob \| history
src/prop/bvminisat/simp/SimpSolver.cc		diff \| blob \| history
src/prop/bvminisat/simp/SimpSolver.h		diff \| blob \| history
src/prop/minisat/core/Solver.cc		diff \| blob \| history
src/prop/minisat/core/Solver.h		diff \| blob \| history
src/prop/minisat/core/SolverTypes.h		diff \| blob \| history
src/prop/minisat/mtl/Alg.h		diff \| blob \| history
src/prop/minisat/mtl/Alloc.h		diff \| blob \| history
src/prop/minisat/mtl/Heap.h		diff \| blob \| history
src/prop/minisat/mtl/Map.h		diff \| blob \| history
src/prop/minisat/mtl/Queue.h		diff \| blob \| history
src/prop/minisat/mtl/Vec.h		diff \| blob \| history
src/prop/minisat/simp/SimpSolver.cc		diff \| blob \| history
src/prop/minisat/simp/SimpSolver.h		diff \| blob \| history
src/util/rational_cln_imp.cpp		diff \| blob \| history
src/util/rational_cln_imp.h		diff \| blob \| history
test/api/ouroborous.cpp		diff \| blob \| history

RSS Atom