Golang Assert - Revision history

Adamcolton at 13:49, 26 April 2018

2018-04-26T13:49:19Z

← Older revision		Revision as of 13:49, 26 April 2018
Line 17:		Line 17:
	x := y+10		x := y+10
	assert.True(x > y)		assert.True(x > y)

			== Tools ==
			It may be helpful to provide tools.

			Setting axioms could be good - though also ripe for abuse.

			Lemmas could be useful for performance.

	[[Category:Code]]		[[Category:Code]]

Adamcolton at 13:46, 26 April 2018

2018-04-26T13:46:15Z

← Older revision		Revision as of 13:46, 26 April 2018
Line 1:		Line 1:
	Inspired by [https://www.hillelwayne.com/post/theorem-prover-showdown/ this], include assert statements in Go. Something (as part of the build chain) will attempt to prove (as in mathematically prove) that the asserts are true. I really have no idea how to approach this.		Inspired by [https://www.hillelwayne.com/post/theorem-prover-showdown/ this], include assert statements in Go. Something (as part of the build chain) will attempt to prove (as in mathematically prove) that the asserts are true. I really have no idea how to approach this.

			To be clear, these assertions are stripped out by the compiler, they are not run-time assertions.

			== Syntax ==

			=== Comment ===
			x := y+10
			// Assert: x > y

			=== Const ===
			x := y+10
			const assert(x > y)

			=== package ===
			import "assert"
			x := y+10
			assert.True(x > y)

	[[Category:Code]]		[[Category:Code]]

Adamcolton: Created page with "Inspired by [https://www.hillelwayne.com/post/theorem-prover-showdown/ this], include assert statements in Go. Something (as part of the build chain) will attempt to prove (as..."

2018-04-26T13:38:35Z

Created page with "Inspired by [https://www.hillelwayne.com/post/theorem-prover-showdown/ this], include assert statements in Go. Something (as part of the build chain) will attempt to prove (as..."

New page

Inspired by [https://www.hillelwayne.com/post/theorem-prover-showdown/ this], include assert statements in Go. Something (as part of the build chain) will attempt to prove (as in mathematically prove) that the asserts are true. I really have no idea how to approach this.

[[Category:Code]]