search

microsoft / Ironclad

The MSR Ironclad project builds provably secure and reliable systems.
http://research.microsoft.com/en-us/projects/ironclad/
Other
241 stars 56 forks source link

Add colon notation and DNS lookups for command-line arguments #10

Closed Chris-Hawblitzel closed 3 years ago

Chris-Hawblitzel commented 3 years ago

Replace

  dotnet src/Dafny/Distributed/Services/RSL/build/IronfleetShell.dll 127.0.0.1 4001 127.0.0.1 4002 127.0.0.1 4003 127.0.0.1 4001
  dotnet src/Dafny/Distributed/Services/RSL/build/IronfleetShell.dll 127.0.0.1 4001 127.0.0.1 4002 127.0.0.1 4003 127.0.0.1 4002
  dotnet src/Dafny/Distributed/Services/RSL/build/IronfleetShell.dll 127.0.0.1 4001 127.0.0.1 4002 127.0.0.1 4003 127.0.0.1 4003

with

  dotnet src/Dafny/Distributed/Services/RSL/build/IronfleetShell.dll localhost:4001 localhost:4002 localhost:4003 localhost:4001
  dotnet src/Dafny/Distributed/Services/RSL/build/IronfleetShell.dll localhost:4001 localhost:4002 localhost:4003 localhost:4002
  dotnet src/Dafny/Distributed/Services/RSL/build/IronfleetShell.dll localhost:4001 localhost:4002 localhost:4003 localhost:4003
jaylorch commented 3 years ago

Looks good to me!