#include <civlc.cvh>

#include "vectorAdd.cvl"
#include <stdio.h>
#include <stdlib.h>
#include <math.h>
#include "openCLshared.cvl"

$input int NUM_DEVICES;
$input int MAX_NUM_DEVICES;
$assume(0 < NUM_DEVICES && NUM_DEVICES < MAX_NUM_DEVICES);