code-intelligence.com/cifuzz@v0.40.0/examples/nodejs/ExploreMe.js (about)

     1  /**
     2   * @param { number } a
     3   * @param { number } b
     4   * @param { string } c
     5   */
     6  module.exports = function exploreMe(a, b, c) {
     7  	if (a >= 20000) {
     8  		if (b >= 2000000) {
     9  			if (b - a < 100000) {
    10  				if (c.startsWith("@")) {
    11  					throw new Error("Crash!");
    12  				}
    13  			}
    14  		}
    15  	}
    16  };