Less noisy tests

Stephen Paul Weber created

Change summary

Rakefile            | 1 +
test/test_helper.rb | 2 ++
2 files changed, 3 insertions(+)

Detailed changes

Rakefile 🔗 

@@ -29,6 +29,7 @@ Rake::Task[:_run_property].clear_comments
 
 desc "Run property tests (optional seed: rake property[SEED,no-stubs])"
 task :property, [:seed, :no_stubs] do |_t, args|
+	ENV["RANTLY_VERBOSE"] = ""
 	ENV["SEED"] = (args[:seed] || rand(0xFFFF)).to_i.to_s
 	ENV["COVERAGE_NAME"] = "property"
 	srand(ENV["SEED"].to_i)

test/test_helper.rb 🔗 

@@ -21,6 +21,8 @@ ARGV[6] = MMS_PROXY
 require_relative "../sgx-bwmsgsv2"
 ARGV.replace(_saved_argv)
 
+LOG.level = :fatal
+
 def SGXbwmsgsv2.write_to_stream(s)
 	@written ||= []
 	@written << s