diff --git a/Rakefile b/Rakefile
index ca82f2a6776295f00a09873f796cbedb402c9f07..6ce3b4ca516c6179711416b2ae43ead0afa7c054 100644
--- a/Rakefile
+++ b/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)
diff --git a/test/test_helper.rb b/test/test_helper.rb
index 229538b287aa87ea0a34568a1760977ea2638a09..744476055ce105df2299f68d5d339205b4d30672 100644
--- a/test/test_helper.rb
+++ b/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