You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{name: 'max-file-slices',type: Number,description: 'If file has more than passed number of slices, the file is not processed',defaultValue: -1,typeLabel: '{underline number}'},
36
36
{name: 'threshold',alias: 't',type: Number,description: 'How many re-visits of the same node are ok?',defaultValue: undefined,typeLabel: '{underline number}'},
37
37
{name: 'per-file-time-limit',type: Number,description: 'Time limit in milliseconds to process single file (disabled by default)',defaultValue: undefined,typeLabel: '{underline number}'},
38
-
{name: 'sampling-strategy',type: String,description: 'Which strategy to use, when sampling is enabled',defaultValue: 'random',typeLabel: '{underline random/edquidistant}'},
38
+
{name: 'sampling-strategy',type: String,description: 'Which strategy to use, when sampling is enabled',defaultValue: 'random',typeLabel: '{underline random/equidistant}'},
{name: 'enable-pointer-tracking',type: Boolean,description: 'Run dataflow analysis with pointer tracking',defaultValue: false},
51
51
{name: 'max-slices',type: Number,description: 'If file has more than passed number of slices, the file is not processed',defaultValue: -1,typeLabel: '{underline number}'},
52
52
{name: 'threshold',alias: 't',type: Number,description: 'How many re-visits of the same node are ok?',defaultValue: undefined,typeLabel: '{underline number}'},
53
-
{name: 'sampling-strategy',type: String,description: 'Which strategy to use, when sampling is enabled',defaultValue: 'random',typeLabel: '{underline random/edquidistant}'},
53
+
{name: 'sampling-strategy',type: String,description: 'Which strategy to use, when sampling is enabled',defaultValue: 'random',typeLabel: '{underline random/equidistant}'},
0 commit comments