source: CIVL/examples/translation/openclversion2.14/vecaddmain.cvl@ d87ec9c

1.23 2.0 main test-branch
Last change on this file since d87ec9c was cc87898, checked in by Jacob Trieu <fuufusuu@…>, 12 years ago

git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@1275 fb995dde-84ed-4084-dfe6-e5aef3e2452c

  • Property mode set to 100644
File size: 224 bytes
Line 
1
2#include "vectorAdd.cvl"
3#include <stdio.h>
4#include <stdlib.h>
5#include <math.h>
6#include "openCLshared.cvl"
7
8$input int NUM_DEVICES;
9$input int MAX_NUM_DEVICES;
10$assume 0 < NUM_DEVICES && NUM_DEVICES < MAX_NUM_DEVICES;
11
12
Note: See TracBrowser for help on using the repository browser.