GenerateSingleStepSequentialCases creates three json files each for validator set, commit and header cases These cases are categorized according to the data structure it is trying to test (e.g.

GenerateSingleStepSkippingCases creates three json files each for validator set, commit and header cases These cases test the single step skipping verification which means, given a trusted height and state can the lite node jump to a certain block height?.

GenerateValList produces a val_list.json file which contains a list validators and privVals of given number abd voting power.

GetValList reads the validators and privals list in the file unmarshals it to ValList struct "file" parameter specifies the path to the val_list.json file.

NewState is used to initiate a state that will be used and manipulated by functions to create blocks for the "simulated" blockchain It creates an INITIAL state with the given parameters.

ReadFile returns the byte slice of the content in the given file "file" parameter is the path to the file to be read.

Initial stores the data required by a test case to set the context i.e.

LiteBlock refers to the minimum data a lite client interacts with.

TestCase stores all the necessary information for single step test cases to perform verification test on the data given.

ValList stores a list of validators and privVals It is populated from the lite-client/tests/json/val_list.json It used to have a predefined set of validators for mocking the test data.