On Tuesday, 5 June 2018 at 06:45:31 UTC, Petar Kirov [ZombineDev]
wrote:
On Monday, 4 June 2018 at 15:48:35 UTC, DigitalDesigns wrote:
Does D have any methods of validating code in a natural manner
besides unit tests and contracts?
I'm specifically thinking of validating mathematical
On Monday, 4 June 2018 at 15:48:35 UTC, DigitalDesigns wrote:
Just curious if something exists that allows for mathematical
validation such code in an relatively canonical way. This isn't
too hard for pure functions but dealing with non-pure functions
can be a pain.
Something like HACL?
On Monday, 4 June 2018 at 15:48:35 UTC, DigitalDesigns wrote:
Does D have any methods of validating code in a natural manner
besides unit tests and contracts?
I'm specifically thinking of validating mathematical
calculations and boolean operations that could depend on very
improbable
Does D have any methods of validating code in a natural manner
besides unit tests and contracts?
I'm specifically thinking of validating mathematical calculations
and boolean operations that could depend on very improbable
scenarios but are technically invalid logic.
These issues tend to