Open kmyk opened 2 years ago
The current implementation uses file extensions like .test.cpp to distinguish whether the files are library files or verification files.
.test.cpp
We want to use the special comment verification-helper: URL instead to mark the file as a verification file.
verification-helper: URL
The approach with comments allows users to use arbitrary file names. This is important for some languages like Java.
Description / 説明
The current implementation uses file extensions like
.test.cpp
to distinguish whether the files are library files or verification files.We want to use the special comment
verification-helper: URL
instead to mark the file as a verification file.Motivation / 動機
The approach with comments allows users to use arbitrary file names. This is important for some languages like Java.
Other notes / その他