civl: drop unnecessary ENV

This commit is contained in:
Dominyk Tiller 2017-09-04 14:38:44 +01:00 committed by ilovezfs
parent 76ca86e18e
commit 19bbe8e78b

View file

@ -18,10 +18,6 @@ class Civl < Formula
end
test do
# Civl needs to write configuration files to the user's home directory, but
# Java has its own logic for determining that path.
ENV["_JAVA_OPTIONS"] = "-Duser.home=#{testpath}"
# Test with example suggested in manual.
example = pkgshare/"examples/concurrency/locksBad.cvl"
assert_match "The program MAY NOT be correct.",