From ec96792423fbb284d0ee19969529ea2f41adf63c Mon Sep 17 00:00:00 2001 From: Corentin Le Molgat Date: Tue, 12 Mar 2019 15:31:26 +0100 Subject: [PATCH] .Net Fixup --- makefiles/Makefile.dotnet.mk | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/makefiles/Makefile.dotnet.mk b/makefiles/Makefile.dotnet.mk index 9cd568b1ca..8ca28c97a4 100644 --- a/makefiles/Makefile.dotnet.mk +++ b/makefiles/Makefile.dotnet.mk @@ -642,7 +642,8 @@ test_dotnet_dotnet: $(MAKE) run SOURCE=examples/dotnet/GateSchedulingSat.cs $(MAKE) run SOURCE=examples/dotnet/JobshopFt06Sat.cs $(MAKE) run SOURCE=examples/dotnet/JobshopSat.cs - $(MAKE) run SOURCE=examples/dotnet/NetworkRoutingSat.cs ARGS="--clients=10 --backbones=5 --demands=10 --trafficMin=5 --trafficMax=10 --minClientDegree=2 --maxClientDegree=5 --minBackboneDegree=3 --maxBackboneDegree=5 --maxCapacity=20 --fixedChargeCost=10" + $(MAKE) run SOURCE=examples/dotnet/NetworkRoutingSat.cs \ + ARGS="--clients=10 --backbones=5 --demands=10 --trafficMin=5 --trafficMax=10 --minClientDegree=2 --maxClientDegree=5 --minBackboneDegree=3 --maxBackboneDegree=5 --maxCapacity=20 --fixedChargeCost=10" $(MAKE) run SOURCE=examples/dotnet/NursesSat.cs $(MAKE) run SOURCE=examples/dotnet/ShiftSchedulingSat.cs $(MAKE) run SOURCE=examples/dotnet/SpeakerSchedulingSat.cs