Gitly


1 module amodule
2 
3 // This tests whether _test.v files can be *internal* to a
4 // module, and thus have access to its guts.
5 // Note: the function test_private_isub() is defined both here
6 // and inside internal_module_test.v . That is done on purpose,
7 // with the goal of ensuring that _test.v files are compiled
8 // *independently* from each other.
9 //
10 // _test.v files should *only* import all the other normal .v
11 // files from the same folder, NOT other _test.v files from it.
12 fn test_private_isub() {
13     assert private_isub(7, 5) == 2
14 }
15

1	module amodule
2
3	// This tests whether _test.v files can be internal* to a*
4	// module, and thus have access to its guts.
5	// Note: the function test_private_isub() is defined both here
6	// and inside internal_module_test.v . That is done on purpose,
7	// with the goal of ensuring that _test.v files are compiled
8	// independently* from each other.*
9	//
10	// _test.v files should only* import all the other normal .v*
11	// files from the same folder, NOT other _test.v files from it.
12	fn test_private_isub() {
13	assert private_isub(7, 5) == 2
14	}
15