Wolfram Function Repository
Instant-use add-on functions for the Wolfram Language
Function Repository Resource:
Generate a VerificationTest file for all permutations of arguments
ResourceFunction["GenerateVerificationTests"][file,function,parameters] generates a file of VerificationTest objects for function of all permutations of parameters. | |
ResourceFunction["GenerateVerificationTests"][file,function,parameters,prefix] generates test objects with TestID prefixed with prefix. |
Generate 27 tests for Plus of three arguments assuming that Plus is currently behaving correctly:
In[1]:= | ![]() |
Out[1]= | ![]() |
In[2]:= | ![]() |
Generate a TestReport using the file as input:
In[3]:= | ![]() |
Out[3]= | ![]() |
VerificationTest objects generated will list messages generated:
In[4]:= | ![]() |
Out[4]= | ![]() |
In[5]:= | ![]() |
In[6]:= | ![]() |
Out[6]= | ![]() |
All options for VerificationTest are supported:
In[7]:= | ![]() |
If a TestID is provided, this will be used as a prefix for a unique TestID for each individual test:
In[8]:= | ![]() |
This work is licensed under a Creative Commons Attribution 4.0 International License